Low-level programming language - PDFSEARCH.IO - Document Search Engine

Low-level programming language
Results: 63

#	Item
21	Automatic Validation of Code-Improving Transformations on Low-Level Program Representations ∗ Robert van Engelen, David Whalley, and Xin Yuan Department of Computer Science, Florida State University, Tallahassee, FL 32 Add to Reading List Source URL: www.cs.fsu.edu Language: English - Date: 2004-03-02 08:35:51 Compiler Compiler construction ARM architecture NOP GNU Compiler Collection Register-transfer level E1 Algorithm Software Computing Programming language implementation
22	LOW LEVEL THINKING IN HIGH LEVEL PROGRAMMING Błażej Marcinkiewicz Łódź wiOSłuje #6 WHAT WILL THIS TALK BE ABOUT? Add to Reading List Source URL: www.lodzwiosluje.com Language: English - Date: 2015-03-17 07:53:32 C programming language Sizeof Struct Printf format string Objective-C C Stride of an array C syntax Computer programming Computing Software engineering
23	Tracelet-Based Code Search in Executables Yaniv David Eran Yahav Technion, Israel Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2014-03-29 02:02:37 Computing X86 assembly language MOV Low-level programming language X86 Algorithm High Level Assembly Decompiler Computer architecture X86 architecture Assembly languages
24	OCamlCC – Raising low-level bytecode to high-level C Michel Mauny Benoît Vaugon ENSTA-ParisTech Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:01:54 Functional languages Compilers Compiler construction OCaml Bytecode Caml Interpreter LLVM ML Software Computing Programming language implementation
25	PDF Document Add to Reading List Source URL: www.blackhat.com Language: English - Date: 2015-05-28 15:51:34 Memory management Debuggers Profilers Valgrind C dynamic memory allocation Low-level programming language C Stack Computing Computer programming Software engineering
26	High-Level Transformations for Low-Level Compilers Polly: A polyhedral optimizer for LLVM Tobias Grosser, Intel Haifa Add to Reading List Source URL: www.grosser.es Language: English - Date: 2010-07-25 08:26:30 Compiler optimizations Clang LLVM Compiler Program optimization GNU Compiler Collection Polytope model Software Programming language implementation Compilers
27	Polyhedral Optimizations for Low-Level Compilers Polly, LLVM and more University of California, Los Angeles October 28, 2012 Add to Reading List Source URL: www.grosser.es Language: English - Date: 2010-07-25 08:26:30 Compilers Compiler construction Clang LLVM Compiler optimization Compiler Program optimization GNU Compiler Collection SIMD Software Computing Programming language implementation
28	Function Extraction: Automated Behavior Computation for Aerospace Software Verification and Certification Redge Bartholomew Software Design Support Engineering and Technology Rockwell Collins, Inc. Add to Reading List Source URL: daly.axiom-developer.org Language: English - Date: 2007-09-10 11:09:21 Software development Assembly languages Computer architecture X86 assembly language Low-level programming language JMP DO-178B Avionics software Software verification X86 architecture Computing Avionics
29	Stochastic Superoptimization Eric Schkufza Rahul Sharma Alex Aiken Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2013-01-20 12:06:36 X86-64 Low-level programming language GNU Compiler Collection Markov chain Monte Carlo C Segmentation fault Strength reduction MOV Program optimization Computing Software X86 architecture
30	Dependent Types for Low-Level Programming Jeremy Condit1 , Matthew Harren1 , Zachary Anderson1 , David Gay2 , and George C. Necula1 1 University of California, Berkeley Add to Reading List Source URL: www.barnowl.org Language: English - Date: 2007-02-02 07:49:52 Data types Type theory Procedural programming languages C++ Program analysis Type system Pointer C++ classes ALGOL 68 Programming language theory Software engineering Computing